This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ...
Continue readingTesting often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Continue readingThis volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Continue readingETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingTransdisciplinary research (TR) is an emerging field of research in the knowledge society.This handbook provides, for the ...
Continue readingJava design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
Continue readingThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Continue readingThis volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, ...
Continue readingThese are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
Continue readingThis self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...
Continue readingThis book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...
Continue readingThe foundations of system analysis as an applied scientific methodology assigned for the investigation of complex and highly ...
Continue readingReal examples clearly demonstrate both traditional and emerging approaches to systems analysis and design, including object-oriented ...
Continue readingReflecting the practices, trends, and developments from the field, this title equips you with a solid foundation of the important ...
Continue readingThis book presents in a concise format the methods used to develop mathematical models for water and wastewater treatment. ...
Continue readingHow can we design more sustainable industrial and urban systems that reduce environmental impacts while supporting a high ...
Continue readingThis year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Continue readingThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue reading